#include "vmlinux.h"
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include <bpf/usdt.bpf.h>

SEC("usdt/./main:main:hv_add")
int BPF_USDT(usdt_hv_add_auto, int arg1, int arg2)
{
	bpf_printk("USDT AUTO: arg1 = %d, arg2 = %d", arg1, arg2);
	return 0;
}

SEC("usdt")
int BPF_USDT(usdt_hv_add, int arg1, int arg2)
{
	bpf_printk("USDT MANUAL: arg1 = %d, arg2 = %d", arg1, arg2);
	return 0;
}

char __LICENSE[] SEC("license") = "GPL";
